Search Results

Search again

Found: 19  Titles

Order by :    Show:   Per Page
Select Page   |   Deselect Page   |   Export saved(0)   |   Clear saved(0)
image
Adaptive logics for defeasible reasoning Christian Straßer.
Author
Strasser, Christian.
Published
Cham : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Advances in natural deduction a celebration in Dag Prawitz's work / Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editors.
Author
De Paiva, Valeria,
Published
Dordrecht : Springer, c2014.
Call Number
Ebook
Book Loading...
image
An introduction to formal logic / Peter Smith.
Author
Smith, Peter.
Published
Cambridge : Cambridge University Press, c2003.
Call Number
BC71 S6i
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
Book Loading...
image
David Makinson on classical methods for non-classical problems Sven Ove Hansson, editor.
Author
Hansson, Sven Ove,
Published
Dordrecht : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Dual tableaux foundations, methodology, case studies / Ewa Orłowska, Joanna Golińska-Pilarek.
Author
Orłowska, Ewa.
Published
Dordrecht : Springer, c2011.
Call Number
Ebook
Book Loading...
image
Dynamic epistemic logic by Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi
Author
Ditmarsch, Hans van.
Published
Dordrecht : Springer, c2008.
Call Number
Ebook
Book Loading...
image
Handbook of philosophical logic. edited by D.M. Gabbay and F. Guenthner
Published
Dordrecht : Kluwer Academic Publishers, c2007.
Call Number
Ebook
Book Loading...
image
Infinite regress arguments Jan Willem Wieland.
Author
Wieland, Jan Willem.
Published
Berlin : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Interdisciplinary works in logic, epistemology, psychology and linguistics dialogue, rationality, and formalism / Manuel Rebuschi [and five others], editors.
Author
Rebuschi, Manuel,
Published
Cham : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Introduction to logic / Michael Genesereth and Eric Kao.
Author
Genesereth, Michael R.,
Call Number
BC15 .G455 2013,160.9 23,MoCl 6812988 IEEE
Book Loading...
image
Introduction to logic / Michael Genesereth, Eric Kao.
Author
Genesereth, Michael R.,
Call Number
BC15 .G455 2017,160.9 23
Book Loading...
image
Introduction to logic Michael Genesereth and Eric Kao.
Author
Genesereth, Michael R.,
Published
San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2012.
Call Number
BC15 .G455 2012,160.9 23
Book Loading...
image
Johan Van Benthem on logic and information dynamics Alexandru Baltag, Sonja Smets, editors.
Published
Cham : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Krister Segerberg on logic of actions Robert Trypuz, editor.
Author
Trypuz, Robert,
Published
Dordrecht : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Non-axiomatic logic : a model of intelligent reasoning / Pei Wang
Author
Wang, Pei
Published
Hackensack, NJ : World Scientific, c2013.
Call Number
Q335 W29n
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
Book Loading...
Search Tools: Get RSS Feed

About us

WALAI AutoLib is library automation system produced by Informatic Innovation Research Unit (IIRU), Walailak University.

Statistics

 Starting from date  14 Dec 2562

Today
354
This month
7,477
This year
415,168
All
7,641,447

Recent News

ห้องสมุดคณะสถาปัตยกรรม ศิลปะและการออกแบบ ปิดบริการชั่วคราว เพื่อปรับปรุงอาคาร

Read 1477

วัน-เวลา เปิดให้บริการ ห้องสมุดคณะสถาปัตยกรรม ศิลปะและการออกแบบ

Read 1321

เปิดบริการให้คำปรึกษาการใช้งานระบบ iThesis (Counseling Services)

Read 640

Read More

Useful Links

Contact Us

1 Chalong Krung, 1 Alley, Lat Krabang, Bangkok 10520
Phone: 02 329 8556
Email: library@kmitl.ac.th
Enter to my library site (KLLC) KMITL Lifelong Learning Center

2020 © WALAI AutoLib. ALL Rights Reserved. | utm20220810

Style Switcher
Theme Colors
Layout Styles
Wide
Boxed